package treeedit;

import java.util.*;
import java.text.*;

public class CodeDictionary {
	String[] names;
	public CodeDictionary(Set names) {
		this.names = new String[names.size()];
		int i = 0;
		for(Object name : names) {
			this.names[i++] = (String)name;
		}
		Arrays.sort(this.names, Collator.getInstance());
	}
	public String[] getFunctionNames() {
		return names;
	}
}
